Semantic Dictionary Encoding
falvotech.com·4h·
Discuss: Hacker News
🗂️Type Indexing
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·6h·
Discuss: DEV
🧮Theorem Provers
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·21h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
New C++ Conference Videos Released This Month - September 2025
reddit.com·1h·
Discuss: r/cpp
🎓Teaching Compilers
Introducing the Constexpr Debugger
blog.jetbrains.com·11h·
Discuss: Lobsters, Hacker News, r/cpp
🔍Debugging Compilers
How We Reimagined SQL Query Building to Be Smarter, Safer, and Simpler (Introducing `mysql2-dx` v1.1.0)
npmjs.com·7h·
Discuss: DEV
🛡️Error Handling
Asynchronous Exceptions in Practice (2017)
simonmar.github.io·20m·
Discuss: Hacker News
🔗Concurrency Primitives
Balance between refactoring and inheritance in your code
github.com·7h·
Discuss: Hacker News
🧪Compiler Testing
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·46m·
Discuss: Hacker News
🔗Lexical Scoping
Identifying Divergences in HW Designs For High Performance Computing Workloads (LBNL et al.)
semiengineering.com·2h
⚡Performance
Greyscale-box test-driven development
blog.ploeh.dk·10m
🧪Compiler Testing
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·15h
⏭️Skip Lists
StringWa.rs on GPUs: Databases & Bioinformatics 🦠
ashvardanian.com·20m·
Discuss: Hacker News, r/programming
🚀Tokenizer Performance
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·23h·
Discuss: Hacker News
⚡functional programming
A (Nearly) Branchless RESP Request Parser
kevinmontrose.com·7h
🔧Error Recovery
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·10h
🪢Rope Data Structures
The future of microoptimization
goldenstack.net·2d·
Discuss: Hacker News
🔬Nanopasses
Web Developer Travis McCracken on Horizontal Scaling Mistakes I’ve Made
dev.to·6h·
Discuss: DEV
🔧API Design
Algebraic Types are not Scary
blog.aiono.dev·8h·
Discuss: Lobsters, Hacker News
✅Type Checking